Phase-imprint induced domain formations and spin dynamics in spinor condensates

We demonstrate that certain domain structures can be created both in ferro- and antiferro-magnetic spinor condensates if the initial phase is spatially modulated. Meanwhile, spin dynamics of the condensate with modulated phases exhibits exotic features in comparison with those of a condensate with a uniform phase. We expect that these phenomena could be observed experimentally using a phase-imprinting method.Comment: 5 pages, 5 figures, to appear in Phys. Rev.

Categorical Modelling of Logic Programming: Coalgebra, Functorial Semantics, String Diagrams

Logic programming (LP) is driven by the idea that logic subsumes computation. Over the past 50 years, along with the emergence of numerous logic systems, LP has also grown into a large family, the members of which are designed to deal with various computation scenarios. Among them, we focus on two of the most influential quantitative variants are probabilistic logic programming (PLP) and weighted logic programming (WLP). In this thesis, we investigate a uniform understanding of logic programming and its quan- titative variants from the perspective of category theory. In particular, we explore both a coalgebraic and an algebraic understanding of LP, PLP and WLP. On the coalgebraic side, we propose a goal-directed strategy for calculating the probabilities and weights of atoms in PLP and WLP programs, respectively. We then develop a coalgebraic semantics for PLP and WLP, built on existing coalgebraic semantics for LP. By choosing the appropriate functors representing probabilistic and weighted computation, such coalgeraic semantics characterise exactly the goal-directed behaviour of PLP and WLP programs. On the algebraic side, we define a functorial semantics of LP, PLP, and WLP, such that they three share the same syntactic categories of string diagrams, and differ regarding to the semantic categories according to their data/computation type. This allows for a uniform diagrammatic expression for certain semantic constructs. Moreover, based on similar approaches to Bayesian networks, this provides a framework to formalise the connection between PLP and Bayesian networks. Furthermore, we prove a sound and complete aximatization of the semantic category for LP, in terms of string diagrams. Together with the diagrammatic presentation of the fixed point semantics, one obtain a decidable calculus for proving the equivalence between propositional definite logic programs

Conceal an entrance by means of superscatterer

By using the novel property of the rectangular superscatterer, we propose a design which can conceal an entrance from electromagnetic wave detection. Such a superscatterer is realized by coating a negative index material shell on a perfect electrical conductor rectangle cylinder. The results are numerically confirmed by full-wave simulations both in the far-field and near-field.Comment: 10 pages, 4 figure

The Application of Continuous Wavelet Transform Based Foreground Subtraction Method in 21 cm Sky Surveys

We propose a continuous wavelet transform based non-parametric foreground subtraction method for the detection of redshifted 21 cm signal from the epoch of reionization. This method works based on the assumption that the foreground spectra are smooth in frequency domain, while the 21 cm signal spectrum is full of saw-tooth-like structures, thus their characteristic scales are significantly different. We can distinguish them in the wavelet coefficient space easily and perform the foreground subtraction. Compared with the traditional spectral fitting based method, our method is more tolerant to complex foregrounds. Furthermore, we also find that when the instrument has uncorrected response error, our method can also work significantly better than the spectral fitting based method. Our method can obtain similar results with the Wp smoothing method, which is also a non-parametric method, but our method consumes much less computing time.Comment: Accepted by Ap